dynamic semantics中文是什么意思

发音:

中文翻译
造句

动态语意学

semantics n. 1.【语言学】语义学。 2.【哲学】语义哲学；语义学派。
algebraic semantics 代数语义学
axiomatic semantics 公理化语义; 公理语义学
body semantics 手势语义学; 体态语义学
cartographic semantics 地图语义
compositional semantics 成分语义学; 组合语义学
computational semantics 计算语意学; 计算语义学
database semantics 数据库语义学
declarative semantics 宣告语意
denotational semantics 标志语意; 标志语义; 完全抽象; 指称语义学
deterministic semantics 确定性语义学
formal semantics 形式语意学; 形式语义学
functional semantics 功能语义
game semantics 博弈语义
general semantics 【语言学】普通语义学。
generative semantics 生成语义学
intensional semantics 内涵语意学
interleaving semantics 交错语义
interpretative semantics 解释语义学
interpretive semantics 解释语义; 诠释性语意学
kripke semantics kripke语义; 关系语义
language semantics 语言的语义
lexical semantics 词汇语意学; 词汇语义学
logical semantics 逻辑语义学
management semantics 管理中的语义

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Development and creative thinking of dynamic semantics
动态语义学的发展和创新思维
A clearly defined dynamic semantic framework
一种清晰定义的动态语义框架
From drt to sdrt-new development of the theory of dynamic semantics
动态语义理论的新发展
In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics
在uml规范中，编制者是用较为形式化的语言ocl(objectconstraintlanguage)和自然语言两种手段描述静态语义，而动态语义却基本上完全是用自然语言来描述的，uml缺乏一个严格的动态语义定义。
In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language . uml lacks in a strict definition of dynamic semantics
在uml规范中，编制者是用较为形式化的语言ocl(objectconstraintlanguage)和自然语言两种手段描述静态语义，而动态语义却基本上完全是用自然语言来描述的，uml缺乏一个严格的动态语义定义。
We use temporal logic language xyz / e as our component description language for components may have different abstract hierarchy and different granularity . xyz / e is able to describe the dynamic semantics and static operations of component, and to formally describe system in different hierarchy
由于构件可能具有不同的抽象层次和粒度，我们采用了时序逻辑语言xyze作为构件描述语言，这种语言能够描述构件的静态语义和动态执行，并且能在不同抽象层次上对系统进行形式化描述。
According to the characteristics of workflow process execution, a kind of reactive activity-centered process meta-model is defined and a kind of graphical notation is provided for it, at the same time, for this meta-model, a kind of dynamic semantics is specified, which represents the runtime behavior of the process and can be expressed as a finite state automata . finally, an example is given to illustrate how to apply it to analyze the semantic correctness of process models
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性

推荐英语阅读

dynamic semantics的中文翻译，dynamic semantics是什么意思，怎么用汉语翻译dynamic semantics，dynamic semantics的中文意思，dynamic semantics的中文，dynamic semantics in Chinese，dynamic semantics的中文，dynamic semantics怎么读，发音，例句，用法和解释由查查在线词典提供，版权所有违者必究。

Last modified time:Sun, 10 Aug 2025 00:29:56 GMT